/*
 * @(#)XfspElementarySimplifier.java        2004/08/01
 *
 * This file is part of Xfuzzy 3.1, a design environment for fuzzy logic
 * based systems.
 *
 * (c) 2000 IMSE-CNM. The authors may be contacted by the email address:
 *                    xfuzzy-team@imse.cnm.es
 *
 * Xfuzzy is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by
 * the Free Software Foundation.
 *
 * Xfuzzy is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * for more details.
 */

package xfuzzy.xfsp.model.types;

import xfuzzy.lang.Specification;
import xfuzzy.lang.Type;

/**
 * <p> <b>Descripci�n:</b> clase simplificaci�n de tipos por eliminaci�n de las
 * funciones de pertenencia no utilizadas en ninguna regla del sistema.
 * <p> <b>E-mail</b>: <ADDRESS>joragupra@us.es</ADDRRESS>
 * @author Jorge Agudo Praena
 * @version 1.1
 * @see IXfspTypeSimplifier
 * @see XfspTypeSimplifierFactory
 *
 */
public class XfspElementarySimplifier
    implements IXfspTypeSimplifier {

  /**
   * <p> <b>Descripci�n:</b> crea un simplificador elemental de tipos.
   *
   */
  public XfspElementarySimplifier() {
  }

  /**
   * <p> <b>Descripci�n:</b> simplifica un tipo por eliminaci�n de aquellas
   * funciones de pertenencia no utilizadas en ninguna regla del sistema.
   * @param type Tipo que debe simplificar.
   * @param spec Especificaci�n del sistema que debe ser actualizada para
   * reflejar la simplificaci�n hecha al tipo.
   *
   */
  public void simplify(Type type, Specification spec) {
    type.prune();
  }
}
